逻辑优化、逻辑验证、逻辑综合所需的ISCAS测试基准电路
逻辑优化、逻辑验证、逻辑综合所需的ISCAS测试基准电路
然后采用TSMC 65 nm工艺综合基准电路ISCAS-89,并将多米诺逻辑混淆电路应用到电路网表;最后,完成对更换后网表的性能测试。与已有混淆电路相比,所设计的电路功耗开销降低4.79%,面积开销降低2.16%,延时开销降低...
该算法可用于设计只能被特定电路使用的电路模块在 ISCAS⑧89基准电路和 Opensparc微处理器控制器进行测试,该算法可以在2s内确定特定电路的最小项,正确率超过80%.证明文中最小项扰动算法可以灵活、高效地选择最小项...
为了提高等价性验证在数字电路中的验证效率,提出一种逻辑锥分割和可满足性相结合的方法。通过划分规则把参照电路和实现电路划分成若干个逻辑锥,利用匹配技术对...在ISCAS’85基准电路的实验结果表明该方法的可行性。
本文提出了一种名为DCScan的新型功率感知扫描架构,该架构将兼容的扫描单元分成多个段,并使用数据复制和转移技术来降低...实验结果表明,这种方法在ISCAS'89的基准电路上实现低功耗测试和高故障覆盖率方面是有效的。
通过恶意修改设计特征实现的硬件木马已成为主要的安全问题。 最近提出的特洛伊木马检测方法主要分为两类:边信道... 在ISCAS基准电路上的实验结果表明,该方法可以有效地增加木马的激活概率,并使木马的检测更加容易。
为了提高等价性验证在数字电路中的验证效率,提出一种逻辑锥分割和可...在ISCAS’85基准电路的实验结果表明该方法的可行性。 相关下载链接://download.csdn.net/download/weixin_38743481/11690529?utm_source=bbsseo
提出一种新的面向应用的FPGA测试方法。该方法将FPGA设计配置(Dc)抽象成由LUT、非LUT逻辑门、寄存器和互...实验结果表明,对于7个最大的ISCAS89基准电路,该方法可得到86.82%~99.16%的SAFI覆盖率和100%的FFL覆盖率。
实验结果显示:通过采用ISCAS89基准测试程序进行分析,优化前无用动态功耗值约占总功耗的19.84%,优化后整体测试功耗降低约23%,有效地降低了无用动态功耗,并且此方案容易在已有的设计流程里实现。
SDRAM电路设计
工程科学与技术,国际期刊19(2016)1473完整文章测量受限数字电路在线测试的离散事件系统方法P.K. Biswal,H.P.Sambho,S.比斯瓦斯印度古瓦哈蒂理工学院计算机科学与工程系阿提奇莱因福奥文章历史记录:2016年1月6...
下面的所有词汇与例句都是在英国留学期间, 学到的、听到的、见到的,都来自英语母语使用者,其中包括: 学校、同学、教授、教职人员、以及生活中形形色色的人, 这篇文章有助于还没去英国的同学提前掌握一些高频...
JVM (1) 基本概念: JVM是可运行Java代码的假想计算机 ,包括一套字节码指令集、一组寄存器、一个栈、一个垃圾回收,堆 和 一个存储方法域。JVM 是运行在操作系统之上的,它与硬件没有直接的交互。...
标签: 硬件工程
Java 开发知识点【背诵版】 Java 基础 40 语言特性 12 Q1:Java 语言的优点? ① 平台无关性,摆脱硬件束缚,“一次编写,到处运行”。 ② 相对安全的内存管理和访问机制,避免大部分内存泄漏和指针越界。...
计算机基础-知识点总结整理(一)基础理论考试内容1.信息、数据及通信的概念,计算机的发展历史与分类等。2.进制的概念及换算。3.信息安全基本知识、病毒及防治基本知识、社会信息道德及版权与知识产权的知识等。...
数据库 (database) 保存有组织的数据的容器(通常是一个文 件或一组文件)。数据库(DB,DataBase)概念:数据仓库,软件,安装在操作系统(window,linux, mac、…)之上!SQL,可以存储大量的数据。500万!...
理论计算机科学电子笔记135(2006)47-63www.elsevier.com/locate/entcs分布式符号有界属性检查1普拉迪普湾Nalla,Roland J. Weiss,PrakashPeranandam,JürgenRuf,ThomasKropf,WolfgangRosensti elWilhelm-...
理论计算机科学电子笔记119(2005)33-49www.elsevier.com/locate/entcs利用目标包围和动态抽象混合BDD和SAT不变式检测Gabriel P. Bischo,Karl S. 支架马萨诸塞州微处理器设计中心,英特尔架构G....
理论计算机科学电子笔记135(2006)47-63www.elsevier.com/locate/entcs分布式符号有界属性检查1普拉迪普湾Nalla,Roland J. Weiss,PrakashPeranandam,JürgenRuf,ThomasKropf,WolfgangRosensti elWilhelm-...
6494×基于脉冲神经网络我是麦片粥CNRS,i3S,Uni versite'Coaerteamelie. univ-cotedazur.frBernabe 'Linares-BarrancoIMSE-CNM西班牙塞维利亚[email protected]让·马蒂内CNRS,i3S,Uni versite'...
17243一种低功耗、完全基于事件的手势识别系统Arnon Amir、Brian Taba、David Berg、Timothy Melano、Jeffrey McKinstry、CarmeloDi Nolfo、Tapan Nayak、Alexander Andreopoulos、Guillaume Garreau、...